Vorgehenmodell zur Verifikation und Validierung für die Simulation in Produktion und Logistik
نویسندگان
چکیده
Ablaufsimulation ist eine mächtige und bedeutende Analysemethode, die vor dem Hintergrund zunehmender Vernetzung von Systemen und steigender Komplexität der Abläufe hohe Kosteneinsparungspotentiale bietet. Bei nicht fachgerechter Anwendung birgt die Methode allerdings erhebliche Risiken. Nur mit Verifikation und Validierung (V and V) zur Prüfung der Gültigkeit von Simulationsmodellen lassen sich aussagekräftige und belastbare Ergebnisse erzielen. Die in diesem Zusammenhang bestehenden Defizite werden mit dem von der ASIM-Fachgruppe 'Simulation in Produktion und Logistik' veröffentlichten Vorgehensmodell für V and V aufgegriffen. Neben einer systematischen Aufbereitung von Methoden und Techniken bietet das Buch Handlungshilfen, die an die jeweilige Aufgabenstellung angepasst und projektbegleitend eingesetzt werden können. Das Buch wendet sich an Leser in der Industrie, die Simulationsstudien durchführen oder durchführen lassen, sowie an Lehrende und Lernende im Bereich Simulation in Produktion und Logistik.
منابع مشابه
Verifikation Rekonfigurierbarer Scan-Netze
Rekonfigurierbare Scan-Netze, z. B. entsprechend IEEE Std. P1687 oder 1149.1-2013, ermöglichen den effizienten Zugriff auf On-Chip-Infrastruktur für Bringup, Debug, Post-Silicon-Validierung und Diagnose. Diese Scan-Netze sind oft hierarchisch und können komplexe strukturelle und funktionale Abhängigkeiten aufweisen. Bekannte Verfahren zur Verifikation von Scan-Ketten, basierend auf Simulation u...
متن کاملVerifkation und Test des PROFIsafe-Sicherheitsprofils
Zusammenfassung. PROFIsafe [1] ist ein nach IEC 61508 [6] entwickeltes und geprüftes Sicherheitsprofil für die weit verbreiteten Feldbusprotokolle PROFIBUS [7] und PROFINET [8]. Es wurde von einem Konsortium von mehr als 20 internationalen Herstellern und Endanwendern definiert. Der 2007 publizierte IEC-Standard [9] enthält informelle, semiformale und formale Bestandteile. In diesem Papier beri...
متن کاملSystematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache
Ablaufsprache (AS, engl.: Sequential Function Chart / SFC) ist eine mächtige, in der Norm EN 61131-3 standardisierte graphische Programmiersprache, die sich als industrieller Standard für die Entwicklung von Ablaufsteuerungen etabliert hat. Dieser Beitrag stellt eine durchgängige Werkzeugkette vor (siehe Abb. 1), die den gesamten Entwicklungsprozess für Ablaufsteuerungen von der systematischen ...
متن کاملDiskrete, ereignisorientierte Simulation in Produktion und Logistik -- Herausforderungen und Trends
Simulation in Produktion und Logistik blickt auf eine lange Historie zurück. Neue Trends und Herausforderungen kommen und gehen. Einige Themen etablieren sich dauerhaft. Dieser Artikel versucht einen Blick nach vorn. Als Ausgangsbasis dafür dient ein Rückblick auf die letzten zehn Jahre sowie einige Schlaglichter auf die aktuelle Situation.
متن کاملEinführung von Ubiquitous Computing - Treiber und Hemmnisse im Blickfeld skeptischer Anwender
Durch den technischen Fortschritt rückt die Verwirklichung des Ubiquitous Computing seit einigen Jahren in vielen Bereichen näher. Für die Realisierung werden neben verschiedensten Technologien auch Radio-Frequency-Identification-Lösungen (RFID) verwendet, die im betriebswirtschaftlichen Kontext vor allem zur Prozessoptimierung in Produktion und Logistik eingesetzt werden. Auch in Krankenhäuser...
متن کامل